From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
Getting Started with Text Mining in R and Python: Origins, Applications, and Real-World Case Studies
๐Text Mining
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.orgยท18h
๐ฏGradual Typing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
Everything About Transformers
krupadave.comยท1d
๐Text Parsing
Flag this post
What are you doing this weekend?
๐Static Analysis
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
The Structure of Data
๐Data structures
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐ปProgramming languages
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท1d
๐จ๐ณChinese Computing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท42m
โกProof Automation
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Static Analysis
Flag this post
Loading...Loading more...